×
variable binding operator
예문
예문
In this manner, function definition expressions of the kind shown above can be thought of as " the "
variable binding operator
, analogous to the lambda expressions of lambda calculus.